A formal model of service-oriented dynamic object groups
نویسندگان
چکیده
منابع مشابه
A formal model of service-oriented dynamic object groups
Services are autonomous, self-describing, technology-neutral software units that can be published, discovered, queried, and composed into software applications at runtime. Designing and composing software services to form applications or composite services, require abstractions beyond those found in typical object-oriented programming languages. This paper explores serviceoriented abstractions ...
متن کاملA formal model for service-oriented interactions
In this paper, we provide a mathematical semantics for a fragment of a language — SRML— that we have defined in the SENSORIA [66] project for modelling service-oriented systems. The main goal of this research is to make available a foundational basis for the development of practical modelling languages and tools that designers can use to model complex services at a level of abstraction that cap...
متن کاملA Formal Model of Concurrency for Distributed Object-Oriented Systems
It is widely accepted that object-oriented constructions can be used as a pertinent basis for the support of distributed systems consisting of concurrently executing objects that communicate and interoperate among them. In this context, distributed object systems are representedfrom a process-oriented perspective which uses the process as the basic modelling structure. This point of view allows...
متن کاملTowards a formal model of object-oriented hyperslices
This position paper presents work in progress on a formal model for the composition of object-oriented hyperslices with method-level join points. With the formal model, we should be able to study existing approaches such as subject-oriented programming, as well as extend other object-oriented languages, such as the UML, to accommodate the use of hyperslices. We show here a sample of the specifi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2016
ISSN: 0167-6423
DOI: 10.1016/j.scico.2014.11.014